integration of tan⁡x